 ./verifyta -T -S 2 -u model_allbuffers.xml
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using aggressive space optimisation
  Using reuse optimisation
  Seed is 1685906976
  State space representation uses minimal constraint systems

Verifying formula 1 at /nta/queries/query[1]/formula
 -- Formula is satisfied.
(29 runs) Pr(<> ...) in [0.901855,1]
with confidence 0.95.
Values in [3.29874,46.2886] mean=14.6587 steps=0.429898: 2 0 1 4 1 0 1 1 2 3 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1
 -- States explored : 5377 states
 -- CPU user time used : 10 ms
 -- Virtual memory used : 48152 KiB
 -- Resident memory used : 11108 KiB

Verifying formula 2 at /nta/queries/query[2]/formula
 -- Formula is satisfied.
(29 runs) Pr(<> ...) in [0,0.0981446]
with confidence 0.95.
 -- States explored : 8198 states
 -- CPU user time used : 20 ms
 -- Virtual memory used : 48152 KiB
 -- Resident memory used : 11108 KiB

Verifying formula 3 at /nta/queries/query[3]/formula
 -- Formula is satisfied.
(10000 runs) E(max) = 3.7594
Values in [3,8] mean=3.7594 steps=1: 4751 3365 1484 342 55 3
 -- States explored : 2104778 states
 -- CPU user time used : 2750 ms
 -- Virtual memory used : 48400 KiB
 -- Resident memory used : 11440 KiB

Verifying formula 4 at /nta/queries/query[4]/formula
 -- Formula is satisfied.
(29 runs) Pr(<> ...) in [0,0.0981446]
with confidence 0.95.
 -- States explored : 6321 states
 -- CPU user time used : 10 ms
 -- Virtual memory used : 48400 KiB
 -- Resident memory used : 11440 KiB

Verifying formula 5 at /nta/queries/query[5]/formula
 -- Formula is satisfied.
(29 runs) Pr(<> ...) in [0,0.0981446]
with confidence 0.95.
 -- States explored : 4482 states
 -- CPU user time used : 0 ms
 -- Virtual memory used : 48152 KiB
 -- Resident memory used : 11192 KiB

Verifying formula 6 at /nta/queries/query[6]/formula
 -- Formula is satisfied.
(29 runs) Pr(<> ...) in [0.901855,1]
with confidence 0.95.
Values in [0.00620472,1.40342] mean=0.284262 steps=0.0139721: 3 0 2 0 0 3 0 3 1 1 1 2 0 0 1 0 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
 -- States explored : 58 states
 -- CPU user time used : 10 ms
 -- Virtual memory used : 48152 KiB
 -- Resident memory used : 11192 KiB

Verifying formula 7 at /nta/queries/query[7]/formula
 -- Formula is satisfied.
 -- States stored : 260327 states
 -- States explored : 538250 states
 -- CPU user time used : 2240 ms
 -- Virtual memory used : 70804 KiB
 -- Resident memory used : 38388 KiB

Verifying formula 8 at /nta/queries/query[8]/formula
 -- Formula is satisfied.
 -- States stored : 260327 states
 -- States explored : 538250 states
 -- CPU user time used : 1340 ms
 -- Virtual memory used : 70860 KiB
 -- Resident memory used : 38508 KiB

Verifying formula 9 at /nta/queries/query[9]/formula
 -- Formula is satisfied.
 -- States stored : 260327 states
 -- States explored : 866811 states
 -- CPU user time used : 1810 ms
 -- Virtual memory used : 77004 KiB
 -- Resident memory used : 44596 KiB

Verifying formula 10 at /nta/queries/query[10]/formula
 -- Formula is NOT satisfied.
 -- States explored : 20 states
 -- CPU user time used : 30 ms
 -- Virtual memory used : 77004 KiB
 -- Resident memory used : 44596 KiB
